3 results
Preface to the special issue on metric and differential semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 4-5 / April 2023
- Published online by Cambridge University Press:
- 07 August 2023, pp. 180-181
-
- Article
-
- You have access
- HTML
- Export citation
COVIDIAGNOSTIX: health technology assessment of serological tests for SARS-CoV-2 infection
-
- Journal:
- International Journal of Technology Assessment in Health Care / Volume 37 / Issue 1 / 2021
- Published online by Cambridge University Press:
- 22 September 2021, e87
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On session types and polynomial time
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 8 / December 2016
- Published online by Cambridge University Press:
- 14 January 2015, pp. 1433-1458
-
- Article
- Export citation